6.7 順序関係を決定可能にする